Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·18h
🎯Type Theory
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
⚖️Inference Rules
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
Double categories for adaptive quantum computation
arxiv.org·18h
🎯Type Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Magisterium
💫Effect Systems
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
New: Online Master’s Program in Applied Ontology
dailynous.com·1d
🏷️Attribute Grammars
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·18h
🔍ML Language
Flag this post
Rearchitecting Vector Search: A Migration from MongoDB Atlas to Qdrant
pub.towardsai.net·15h
🚂Cranelift Backend
Flag this post
College Football Playoff 2025 projections: The most likely bracket with Week 10 underway
nytimes.com·10h
🔢Binary Formats
Flag this post
Transition to Collective Motion in Nonreciprocal Active Matter: Coarse Graining Agent-Based Models into Fluctuating Hydrodynamics
journals.aps.org·22h
📡Async Channels
Flag this post
Oops, My UUIDs Collided
🔗Hash Functions
Flag this post
Is the logic in numbers part of a greater universal language? A 2 part exploration of 0 and 1 - Part I The Reality in Numbers
🔗Concatenative Theory
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.org·18h
🔍ML Language
Flag this post
Reflection for Aggregates (2020)
🗂️Type Indexing
Flag this post
Loading...Loading more...